Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
421	Implementing the MyFEM Embedded Domain-specific Language Jonathan Riehl University of Chicago Abstract Add to Reading List Source URL: www.labri.fr Language: English - Date: 2008-10-14 04:10:38 Compiler construction Parsing Cross-platform software Formal languages Compiler Programming language implementation Python IMP programming language Syntax Software engineering Computing Computer programming
422	Transforming Interpreters into Inverse Interpreters by Partial Evaluation Robert Gluck ¨ ∗ Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language implementation Theoretical computer science Models of computation Evaluation strategy Partial evaluation Inverse function Programming language Compiler Monad Computing Software engineering Computer programming
423	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Assembly language Programming language implementation Computer Informatics Educational software Subroutine Memory address Donald Knuth Computing Science Computer programming
424	Charles University in Prague Faculty of Mathematics and Physics arXiv:1403.6997v1 [cs.PL] 27 MarMASTER THESIS Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-03-27 20:36:50 Compiler optimizations Compiler construction Programming language implementation GNU Compiler Collection LLVM Link-time optimization Compiler Gold Standard Performance Evaluation Corporation Software Computing Compilers
425	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
426	BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: Compiling Actions by Partial Evaluation, Revisited Compiling Actions by Partial Evaluation, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Programming language implementation Compiler optimizations Evaluation strategy Incremental computing Partial evaluation Interpreter Eval Scheme Compiler Software engineering Computing Computer programming
427	DACSA: A Decoupled Architecture for Cloud Security Analysis Jason Gionta1 , Ahmed Azab3 , William Enck1 , Peng Ning1 , and Xiaolan Zhang2 1 North Carolina State University {jjgionta,whenck,pning}@ncsu.edu Add to Reading List Source URL: gionta.org Language: English - Date: 2014-07-20 15:18:58 Programming language implementation Live migration Hyper-V VM Hypervisor Xen Spring Hardware virtualization Virtual firewall System software Software Virtual machines
428	Nested Virtualization Friendly KVM Sheng Yang, Qing He, Eddie Dong Software & Services Group 1 Add to Reading List Source URL: kvm.et.redhat.com Language: English - Date: 2010-08-13 13:22:49 Hardware virtualization Programming language implementation Hyper-V Virtualization Xen VM Extended Page Table Hardware-assisted virtualization System software Software Virtual machines
429	Coccinelle: Tool support for automated CERT C Secure Coding Standard certificationI Mads Chr. Olesena , Ren´e Rydhof Hansena,∗, Julia L. Lawallb , Nicolas Palixb a Department of Computer Science, Aalborg University, S Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-14 08:33:39 C programming language Programming language implementation Software bugs Cross-platform software Coccinelle Code refactoring OCaml C Pointer Computing Software engineering Computer programming
430	UNIVERSITY OF SHEFFIELD: DESCRIPTION OF THE LaSIE-II SYSTEM AS USED FOR MUC-7 K. Humphreys, R. Gaizauskas, S. Azzam, C. Huyck, B. Mitchell, H. Cunningham, Y. Wilks 1 Department of Comp uter Science University of Sheeld Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:45:11 Linguistics Software engineering Grammar Parsing Natural language processing Information extraction Semantics Chart parser Formal grammar Formal languages Programming language implementation Compiler construction

UPDATE